@@
@@

- x != NULL
+ 12
